32-bit Windows platform: